Deductive Integrity Maintenance in an Object-oriented Setting
نویسندگان
چکیده
The extension of integrity checking methods proposed for deductive relational databases to the case of object-oriented deductive databases ooers new opportunities for more eecient consistency control: a reduction of the search space by ner granularity of updates, and a reduction of runtime integrity checking by incremental maintenance of the executable code generated for evaluating simpliied rules and constraints within the database. Such an extended integrity system has been implemented in the KBMS ConceptBase.
منابع مشابه
Update Control in Deductive Object Bases1
Deductive object bases are a combination of both deductive and objectoriented databases. This dissertation investigates the problem of update control for such databases. The data model is defined as an extreme case of a deductive database with only one extensional predicate and a multitude of axioms defining the object-oriented abstraction concepts. The advantages are twofold: a distinct concep...
متن کاملThe ROL Deductive and Object - Oriented Database SystemMengchi
This paper describes ROL, a deductive and object-oriented database language which has been implemented. ROL integrates important features of object-oriented and deduc-tive database systems. It supports object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding and blocking, and schema. It also supports structured values such as functor objects and sets, tre...
متن کاملAn Overview of the ROL Language
ROL is a deductive object base language being developed at the University of Regina. It integrates important features of deductive and object-oriented databases. It supports object identity, complex objects, class hierarchy, multiple inheritance with overriding and blocking, and schema. It also supports structured values such as functor objects and sets, treats them as rst class citizens, and p...
متن کاملFrom Relational to Object-Oriented Integrity Simplification
1 Relational integrity checking technology can be transfered to deductive object bases by utilizing a simple logical framework for objects. The principles of object identity, aggregation and classi cation allow a more e cient constraint control by ner granularity of updates, composite updates and semantic constraint simpli cation. In many cases, meta-level constraints and deductive rules can be...
متن کاملOn Extending a Semantic Data Model with some Aspects of Rules and Objects
Expert systems, databases and object-oriented languages have known important developments, each one in its eld. The database domain provides models allowing the speciication of data schemes. The object-oriented systems ooer mechanisms such as inheritance , encapsulation and message sending. They also provide abilities to model the real world objects and the operations that must be executed. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990